41![ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA](https://www.pdfsearch.io/img/e0ce65e664079032030c104b8913e260.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2011-03-20 04:03:43
|
---|
42![Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford](https://www.pdfsearch.io/img/447cb8bdbdaf531199f053151012a0d6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2016-11-02 05:37:42
|
---|
43![Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa](https://www.pdfsearch.io/img/8c9fe6b3d23e94dbfa3ec8f9c0ad282f.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-13 08:11:56
|
---|
44![Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering](https://www.pdfsearch.io/img/0112752db4209f5a7d4a09c44ef21a3d.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
45![Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK](https://www.pdfsearch.io/img/d3806e7796914b021a0865e272fe5394.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2012-01-06 05:40:55
|
---|
46![A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA A Personal View of Average-Case Complexity Russell Impagliazzo Computer Science and Engineering UC, San Diego 9500 Gilman Drive La Jolla, CA](https://www.pdfsearch.io/img/7bc93c59dd33a3d24153d602e0c589a2.jpg) | Add to Reading ListSource URL: www.karlin.mff.cuni.czLanguage: English - Date: 2011-12-13 09:31:41
|
---|
47![Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg](https://www.pdfsearch.io/img/5a52f1f76ece8da184e8bf977a48beee.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
48![Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch](https://www.pdfsearch.io/img/9560f0d52d05b6b0fa9949fb0195d314.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:58
|
---|
49![Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science Stochastic Hillclimbing as a Baseline Method for Evaluating Genetic Algorithms Ari Juels Department of Computer Science](https://www.pdfsearch.io/img/808abae3a014cd89619ce6ad3f7e1b47.jpg) | Add to Reading ListSource URL: pdfs.semanticscholar.orgLanguage: English - Date: 2017-03-10 11:15:03
|
---|
50![Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2 Data Preference Matters: A New Perspective of Safety Data Dissemination in Vehicular Ad Hoc Networks Qiao Xiang1 , Xi Chen1, Linghe Kong1 , Lei Rao2 , Xue Liu1 1 School of Computer Science, McGill University, Canada, 2](https://www.pdfsearch.io/img/0b73ecadc712730061a714db50df7633.jpg) | Add to Reading ListSource URL: wirelesslab.sjtu.edu.cnLanguage: English - Date: 2015-04-14 12:02:56
|
---|